Computer-Assisted Engineering for Robotics and Autonomous Systems (Dagstuhl Seminar 17071)
نویسندگان
چکیده
This report documents the program and the outcomes of Dagstuhl Seminar 17071 “ComputerAssisted Engineering for Robotics and Autonomous Systems”. This seminar brought together researchers from three distinct communities – Robotics, Model-driven Software Engineering, and Formal Methods – to discuss the path towards creating safe and verifiable autonomous systems. Seminar February 12–17, 2017 – http://www.dagstuhl.de/17071 1998 ACM Subject Classification D.2.4 Software/Program Verification, I.2.9 Robotics
منابع مشابه
Dagstuhl Seminar 12121 Applications of Combinatorial Topology to Computer
This report documents the program of Dagstuhl Seminar 12121 “Applications of Combinatorial Topology to Computer Science”. The seminar brought together researchers working on applications of combinatorial topology to various fields of computer science. The goal was to foster communication across these fields by providing researchers in each field the opportunity to explain their research program...
متن کاملEngineering Moral Agents - from Human Morality to Artificial Morality (Dagstuhl Seminar 16222)
This report documents the programme of, and outcomes from, the Dagstuhl Seminar 16222 on “Engineering Moral Agents – from Human Morality to Artificial Morality”. Artificial morality is an emerging area of research within artificial intelligence (AI), concerned with the problem of designing artificial agents that behave as moral agents, i.e., adhere to moral, legal, and social norms. Context-awa...
متن کاملExecutive Summary of the Dagstuhl Seminar 06251
The Dagstuhl Seminar on Multi-Robot Systems (06251) was held in June 20-23, 2006. It had the goal to bring researchers together from different areas of robotics to discuss current research topics on autonomous and interacting robots. The technical focus was on perception, behaviors, learning, and action. The seminar took directly place after the RoboCup robot soccer competitions and the subsequ...
متن کاملReport from Dagstuhl Seminar 11481
This report documents the program and the outcomes of Dagstuhl Seminar 11481 “[email protected]”. Research on [email protected] seeks to extend the applicability of models and abstractions to the runtime environment, with the goal of providing effective technologies for managing the complexity of evolving software behaviour while it is executing. The Dagstuhl Seminar “[email protected]” brought toget...
متن کاملScience and Engineering of Cyber-Physical Systems (Dagstuhl Seminar 11441)
Science and Engineering of Cyber-Physical Systems (Dagstuhl Seminar 11441) Holger Giese, Bernhard Rumpe, Bernhard Schätz, and Janos Sztipanovits . . . . . . . . 1 Data Mining, Networks and Dynamics (Dagstuhl Seminar 11451) Lars Elden and Andreas Frommer . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23 Analysis of Dynamic Social and Technological N...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Dagstuhl Reports
دوره 7 شماره
صفحات -
تاریخ انتشار 2017